type T = T<""=1>
